Type-theoretical Dynamics Exploring Belief Revision in a constructive framework
نویسنده
چکیده
In the present paper a dynamics for type theory is introduced. The formalization provides epistemic explanations for the basic notions of belief state and belief set by referring to assertion conditions for type-theoretical judgements; it interprets expectations in terms of default assumptions for such a structure and it adapts the usual revision operations and the analogous of the Ramsey test. The model, restricted to operations of revision, merging and information preference, provides a constructive type-theoretical approach to epistemic dynamics.
منابع مشابه
Chapter 1 TYPE - THEORETICAL DYNAMICS
In the light of the epistemic approaches to logic as agent-based procedures of knowledge, a basic dynamics for type theory is introduced. The formalization provides epistemic explanations for the basic notions of belief state and belief set, by referring to assertion conditions for typetheoretical judgements; it interprets expectations in terms of default assumptions for such a structure; it ad...
متن کاملConstructive Representation of Trust: Single Rule Paradigm
A constructive computational framework for trust and reputation assessments is presented. It is proven free from any inconsistent or contradictory assessments under any scenarios of its application. A prototype implementation has been developed. The framework focuses on a single information-theoretical rule as inference mechanism, thus avoiding any biases or spurious constraints in the solution...
متن کاملTITLE Belief Revision by Sets of Sentences: A General Framework for Belief Revision AUTHOR
The aim of this paper is to extend the system of belief revision developed by Alchourr on, G ardenfors and Makinson (AGM) to a more general framework. This extension not only enables a treatment of revision by single sentences but also by any sets of sentences, especially by in nite sets. The extended revision and contraction operators will be called general ones, respectively. A group of post...
متن کاملModeling knowledge dynamics in multi-agent systems based on informants
In this paper we model knowledge dynamics in agents’ belief bases in a collaborative multiagent system. Four change operators are introduced: expansion, contraction, prioritized revision, and non-prioritized revision. For all of them, both constructive definitions and an axiomatic characterization by representation theorems are given. We formally justify minimal change, consistency maintenance,...
متن کاملTowards a "Sophisticated" Model of Belief Dynamics. Part II: Belief Revision
In the companion paper (Towards a “sophisticated” model of belief dynamics. Part I), a general framework for realistic modelling of instantaneous states of belief and of the operations involving them was presented and motivated. In this paper, the framework is applied to the case of belief revision. A model of belief revision shall be obtained which, firstly, recovers the Gärdenfors postulates ...
متن کامل